How to draw a 75-degree angle with a compass